home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Source Code / C / Applications / SML⁄NJ 93+ / Notes < prev    next >
Encoding:
Text File  |  1995-12-30  |  8.0 KB  |  143 lines  |  [TEXT/R*ch]
  1. case, the file type also defaults 
  2. to APPL.
  3.  
  4. For SMLeNJ bootstrappers:
  5.  
  6. The usual_prefix string is now initialized to ":" -- prefix defaults to 
  7. usual_prefix and is used as before to prefix pathnames not beginning with 
  8. '/'. You probably shouldn't change usual_prefix or use the -d command line 
  9. option to change prefix. In other words, the application or ThinkC project 
  10. file must be in the src directory when bootstrapping ML.
  11. ===============================================================================
  12. SMLeNJ User Interface Documentation
  13. 12Feb93  e
  14.  
  15. When launching SMLeNJ, holding the option key down prevents loading 
  16. of the built in SML image, and presents a command line dialog. In 
  17. addition to the usual SML/NJ command line options (-r, -m, -g, etc.) 
  18. SMLeNJ supports:
  19.   -i <filename>       load the image specified by <filename>
  20.   -d <string>         use <string> as the filename prefix
  21. See also the file: "<date-number> SMLeNJ filenames"
  22.  
  23. Preferences
  24.  
  25. The Styles... dialog may be used to establish certain preferences.
  26. By default, these preferences are applied to the current window.
  27. When the New Windows checkbox is checked, and OK is clicked, the 
  28. preferences will be saved to a file in your Preferences folder in
  29. your System Folder, and will be applied to all newly opened windows 
  30. in this and subsequent sessions. The checkbox settings in the Find 
  31. dialog are also saved by the Styles dialog. The Tabs setting effects
  32. both how tab keystrokes are treated (see below) and how tab characters 
  33. are translated to spaces upon opening a file.
  34.  
  35. Editing
  36.  
  37. It is assumed that you are familiar with standard Macintosh editing 
  38. techniques. If not, you should consult your Getting Started disks and 
  39. Macintosh users' manuals.
  40.  
  41. Special Keys
  42.  
  43. If you have an extended keyboard, the following special keys are supported:
  44.       F1 - F4 - Undo, Cut, Copy, Paste
  45.      F5 - F15 - function keys (not used)
  46.          del> - delete forward, erase character after the insert point
  47.          home - scrolls text to the top of the edit buffer
  48.           end - scrolls text to the bottom of the edit buffer
  49.       page up - scrolls text up a page
  50.     page down - scrolls text down a page
  51. Note that these last four do not move the insert point, just scroll.
  52. The option key may be used with del> to delete to the end of the line.
  53.  
  54. On all keyboards:
  55.        delete - erase character before cursor position
  56.        return - insert new line and move to left margin
  57.           tab - see below
  58.         enter - evaluate the text to the left of the insert point, or
  59.                 evaluate the selected/text (non-Interaction Window buffer)
  60.                 the results are written to the Interaction Window
  61. Printable characters are inserted into the buffer.  These are characters 
  62. in the range of #x20 through #x7E.  Other characters are simply discarded.
  63.  
  64. Tab key
  65.  
  66. <tab> characters are never inserted into the text, rather <tab> inserts or
  67. removes space from the front of the current line as follows:
  68.  * C1 is the position of the first graphic character on the current line
  69.  * P1 is the position of the first graphic character on the previous line
  70.  * <option-tab>
  71.  *   inserts or removes space on the current line to align C1 with P1
  72.  * <tab>
  73.  *   if C1 < P1 then same as <option-tab>
  74.  *              else insert sufficient space on the current line
  75.  *                   to move C1 right to next tab stop
  76.  * <shift-tab>
  77.  *   if C1 > P1 then same as <option-tab>
  78.  *              else remove sufficient space on the current line
  79.  *                   to move C1 left to previous tab stop
  80.  * Notes: 
  81.  *  <tab> does not move the insert point or selection relative to the text
  82.  *  <tab> characters are never inserted into the text
  83.  
  84.  
  85. Arrow Keys
  86.  
  87. On all keyboards with arrow keys,
  88.             < - move cursor to the left one character
  89.             > - move cursor to the right one character
  90.             ^ - move cursor up one line
  91.             v - move cursor down one line
  92.  
  93. Arrow keys can be modified with shift, option, and command.
  94.  
  95. The shift key may be used to extend the text selection per Apple standards.  
  96. Each selection has an anchor end and an active end.  Generally, the active 
  97. end is the last end you moved, the anchor end doesn't move.  When the shift 
  98. key is help down, the selection's active end is moved by the arrow keys.
  99.  
  100. The option key may be used with the arrow keys to move the insert point 
  101. left or right by word, or up or down by page.  Shift and option together 
  102. may be used to move the active end of the selection left or right by words, 
  103. or up or down by pages.
  104.  
  105. The command key may be used with the arrow keys to move the insert point 
  106. left or right to the beginning or end of the line, or up or down to the 
  107. beginning or end of the text.  Shift and command together may be used to 
  108. move the active end of the selection to start or end of the line or text.
  109.  
  110. When shift, option, and command are held down together, the up or left 
  111. arrow will make the beginning of the selection the active end, and the 
  112. down or right arrow will make the end of the selection the active end.
  113.  
  114. Mouse
  115.  
  116. Mouse clicks
  117.     single - position insert point
  118.     double - select word
  119.     triple - select line
  120. Dragging after one of these clicks extends the selection by character, 
  121. word, or line repectively; the anchor point is original click, the active 
  122. end is the other end of the selection.  After a click-drag, the active end 
  123. can be moved with shift clicks or shift arrow keys.  The anchor and active 
  124. ends of the selection can be swapped with option+shift+click, or 
  125. option+shift+command up/down or left/right arrow keys.
  126.  
  127. Scrolling
  128.  
  129. Holding down command, shift, option, and control keys speeds up scrolling 
  130. when mousing in the arrows of the scroll bar. The more keys you hold down 
  131. the faster (logarithmically) it scrolls.
  132.  
  133. Editor Limitations
  134.  
  135. Edit text size is limited by memory space.  There may be a maximum of 32K 
  136. lines (not characters) of text.  The editor has been tested with files 
  137. several hundred Kbytes in size.
  138. ===============================================================================
  139.  
  140.                         Doug Currie
  141.  
  142.  
  143.